Fuzzy Results for Finitely Supported Structures

Separated finitely supported $Cb$-sets

The monoid $Cb$ of name substitutions and the notion of finitely supported $Cb$-sets introduced by Pitts as a generalization of nominal sets. A simple finitely supported $Cb$-set is a one point extension of a cyclic nominal set. The support map of a simple finitely supported $Cb$-set is an injective map. Also, for every two distinct elements of a simple finitely supported $Cb$-set, there exists...

Subsumption in Finitely Valued Fuzzy EL

On finitely-valued Fuzzy Description Logics

Consistence of Choice Principles in Finitely Supported Mathematics

Finitely Supported Mathematics represents a part of mathematics for experimental sciences which has a continuous evolution in the last century. It is developed according to the Fraenkel-Mostowski axioms of set theory. The axiom of choice is inconsistent in the Finitely Supported Mathematics. We prove that several weaker forms of the axiom of choice are also inconsistent in the Finitely Supporte...

Dening Finitely Supported Mathematics over Sets with Atoms

This paper presents some steps of defining a finitely supported mathematics by using sets with atoms. Such a mathematics generalizes the classical Zermelo-Fraenkel mathematics, and represents an appropriate framework to work with (infinite) structures in terms of finitely supported objects. We focus on the techniques of translating the Zermelo-Fraenkel results to this finitely supported mathema...